M-Prolog[2]

An extension to Prolog involving modules.

"The MProlog System", J. Bendl et al, Proceedings of the Logic Programming Workshop, 1980.